diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-10-22 04:14:15 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-10-25 12:51:26 -0700 |
| commit | 0b0ae99a63242364f6a6e8966fcb7cb0a0eb1427 (patch) | |
| tree | beaf8b8c1d6289ac138e1c81313e29f0fa642387 /packages/vm/customize.sh | |
| parent | 4742dea6acfc0545d9d1203331d1ea44fafbbd4b (diff) | |
| download | infra-0b0ae99a63242364f6a6e8966fcb7cb0a0eb1427.tar.gz infra-0b0ae99a63242364f6a6e8966fcb7cb0a0eb1427.tar.bz2 infra-0b0ae99a63242364f6a6e8966fcb7cb0a0eb1427.zip | |
Export server id from trigger in module, for correct dependency ordering
Diffstat (limited to 'packages/vm/customize.sh')
| -rwxr-xr-x | packages/vm/customize.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/vm/customize.sh b/packages/vm/customize.sh index d4b2478..e8f67b6 100755 --- a/packages/vm/customize.sh +++ b/packages/vm/customize.sh @@ -7,7 +7,7 @@ abort() { rootdir="$1" -# avoid messing with host system +# avoid messing with host system, in case this script is run by accident [[ -n $rootdir ]] || abort "root directory is not set" # set up local apt archive |