diff options
| -rwxr-xr-x | make_dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_dist.sh b/make_dist.sh index 61726a7c..89701d4b 100755 --- a/make_dist.sh +++ b/make_dist.sh @@ -1,5 +1,5 @@ #!/bin/bash -DISTROS="dist-all" +DISTROS="all" rm -fr dist/ echo $1 if [ ! -z "$1" ]; then |