diff options
-rwxr-xr-x | localserver/rebuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/localserver/rebuild.sh b/localserver/rebuild.sh index 0c8aae3..3ec97ed 100755 --- a/localserver/rebuild.sh +++ b/localserver/rebuild.sh @@ -6,4 +6,4 @@ export DIR=`pwd` ./checktime.sh source ./clean.sh -./build.sh old > /dev/null +CC="gcc-9" ./build.sh old > /dev/null |