diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2015-02-02 13:42:43 +0200 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2015-02-02 13:42:43 +0200 |
commit | 33ef66465573dc8d2d38188a47a04efaa0837e60 (patch) | |
tree | 5c009fca3dcfd5dba8a8b743cce826c728f1e270 | |
parent | ab33ce53b7060b27b9ad932c98f6f9db5aec05bb (diff) |
see user
-rwxr-xr-x | jenkinsbuild.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh index dea6469..e13e754 100755 --- a/jenkinsbuild.sh +++ b/jenkinsbuild.sh @@ -1,6 +1,7 @@ #!/bin/bash set -x +id export WORKSPACE=`pwd` #build_arch=armhf |