diff options
Diffstat (limited to 'scripts/auto-build/auto-build-common')
| -rw-r--r-- | scripts/auto-build/auto-build-common | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/auto-build/auto-build-common b/scripts/auto-build/auto-build-common index e8376063..ebce7212 100644 --- a/scripts/auto-build/auto-build-common +++ b/scripts/auto-build/auto-build-common @@ -31,7 +31,9 @@ fi if [ -e ${HOME}/auto-build-common.local ]; then . ${HOME}/auto-build-common.local + running_on_server=yes else + running_on_server=no echo "Could not find local configuration in \"${HOME}/auto-build-common.local\"" echo "Skipping... (see ${HOME}/auto-build-common for instructions)" echo |