gzip optim, links for size

This commit is contained in:
laurent
2022-08-24 15:51:49 +02:00
committed by Robert Schmidt
parent e28fccc7fb
commit 3a0a14cf7d
2 changed files with 4 additions and 3 deletions
+3 -2
View File
@@ -237,8 +237,9 @@ compilations() {
echo_error "$2 compilation failed"
exit 1
fi
if [ -s $3 ] ; then
cp $3 $4
if [ -s "$3" ] ; then
rm -f "$4"
ln -s "$PWD/$3" "$4"
echo_success "$2 compiled"
check_warnings "$dlog/$2.$REL.txt"
else