diff options
| -rwxr-xr-x | travis-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis-build.sh b/travis-build.sh index fc9d7587..3b8745b8 100755 --- a/travis-build.sh +++ b/travis-build.sh @@ -58,5 +58,5 @@ if [[ -n "${remote_repo}" ]] ; then git fetch remote git checkout -f ${commit_id} fi -git reset --hard "${origin_branch} +git reset --hard "${origin_branch}" make EFIDIR=test ENABLE_SHIM_CERT=1 ENABLE_HTTBOOT=1 ARCH=x86_64 clean all |