diff options
| author | Christian Lohmaier <lohmaier+github@googlemail.com> | 2014-11-07 12:00:27 +0100 |
|---|---|---|
| committer | Christian Lohmaier <lohmaier+github@googlemail.com> | 2014-11-07 12:00:27 +0100 |
| commit | fd188bda674ab20148dadcd802bcbbc78b8ca921 (patch) | |
| tree | ac4247ac53ab52cc2464dc89ee3fdc41440e08d2 | |
| parent | 91fd00e7e7f8d55af11bcbdce67e5e12bbddbe16 (diff) | |
INPATH wath removed a year ago..
| -rwxr-xr-x | bin/push_nightlies.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/push_nightlies.sh b/bin/push_nightlies.sh index a737f2b..a4ec16e 100755 --- a/bin/push_nightlies.sh +++ b/bin/push_nightlies.sh @@ -76,7 +76,11 @@ fi topdir="$PWD" -cd instsetoo_native/${INPATH} +if [ -z "$INPATH" ] ; then + false +else + cd instsetoo_native/${INPATH} +fi if [ $? != 0 ]; then cd workdir |