diff options
| -rwxr-xr-x | src/make.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/make.bash b/src/make.bash index 0c9475f4d..a6f5fd92c 100755 --- a/src/make.bash +++ b/src/make.bash @@ -14,6 +14,7 @@ fi bash clean.bash +rm -f $HOME/bin/quietgcc cp quietgcc.bash $HOME/bin/quietgcc chmod +x $HOME/bin/quietgcc |