diff options
| author | Pliable Pixels <pliablepixels@gmail.com> | 2020-04-01 10:08:25 -0400 |
|---|---|---|
| committer | Pliable Pixels <pliablepixels@gmail.com> | 2020-04-01 10:08:25 -0400 |
| commit | 7b625429a3947dd8332f53ace294bf4a61178343 (patch) | |
| tree | e82d8b0fccc75396d61fed3d1a2b52569bdded4e | |
| parent | f8abc9fb14a0a27f706726fdf587d612bd564ba1 (diff) | |
fix
| -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 |