diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-22 14:29:20 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-22 14:29:20 -0700 |
| commit | 5a7a3f15d28e19c6c0f30817824a2b78ccc874e0 (patch) | |
| tree | 7742eefa73c026aa7bd2006a17a1c5222e69a298 /linux/make_linux.sh | |
| parent | 432be748ceaa5e19be62b14d8ae6dcdedb2de82b (diff) | |
Linux package: new debian-based non-static build.
Diffstat (limited to 'linux/make_linux.sh')
| -rw-r--r-- | linux/make_linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/make_linux.sh b/linux/make_linux.sh index fdc21ed41..90e84d06a 100644 --- a/linux/make_linux.sh +++ b/linux/make_linux.sh @@ -1,6 +1,6 @@ #!/bin/bash -e -ARTIFACTS=`pwd`/linux/artifacts +ARTIFACTS=?`pwd`/linux/artifacts mkdir -p $ARTIFACTS stack clean |