Skip to content
Snippets Groups Projects
Commit ecda1b20 authored by ezsh's avatar ezsh
Browse files

Do not owerwrite result file twice during compilation

...to avoid double reloading by a browser.
parent ee8705b7
No related branches found
No related tags found
No related merge requests found
...@@ -53,7 +53,7 @@ else ...@@ -53,7 +53,7 @@ else
esac esac
fi fi
$TWEEGO_EXE -o "bin/FC_pregmod.html" src/ || build_failed="true" $TWEEGO_EXE -o "bin/FC_pregmod_tmp.html" src/ || build_failed="true"
# Revert AlphaDisclaimer for next compilation # Revert AlphaDisclaimer for next compilation
git checkout -- src/gui/mainMenu/AlphaDisclaimer.tw git checkout -- src/gui/mainMenu/AlphaDisclaimer.tw
...@@ -64,4 +64,5 @@ then ...@@ -64,4 +64,5 @@ then
fi fi
#Make the output prettier, replacing \t with a tab and \n with a newline #Make the output prettier, replacing \t with a tab and \n with a newline
sed -i -e '/^.*<div id="store-area".*$/s/\\t/\t/g' -e '/^.*<div id="store-area".*$/s/\\n/\n/g' bin/FC_pregmod.html sed -i -e '/^.*<div id="store-area".*$/s/\\t/\t/g' -e '/^.*<div id="store-area".*$/s/\\n/\n/g' bin/FC_pregmod_tmp.html \
&& mv bin/FC_pregmod_tmp.html bin/FC_pregmod.html
...@@ -35,9 +35,10 @@ else ...@@ -35,9 +35,10 @@ else
esac esac
fi fi
$TWEEGO_EXE -o "bin/FC_pregmod_$HASH.html" src/ $TWEEGO_EXE -o "bin/FC_pregmod_${HASH}_tmp.html" src/
#Make the output prettier, replacing \t with a tab and \n with a newline #Make the output prettier, replacing \t with a tab and \n with a newline
sed -i -e '/^<div id="store-area".*$/s/\\t/\t/g' -e '/^<div id="store-area".*$/s/\\n/\n/g' "bin/FC_pregmod_$HASH.html" sed -i -e '/^<div id="store-area".*$/s/\\t/\t/g' -e '/^<div id="store-area".*$/s/\\n/\n/g' "bin/FC_pregmod_${HASH}_tmp.html" \
&& mv "bin/FC_pregmod_${HASH}_tmp.html" "bin/FC_pregmod_${HASH}.html"
echo "FC_pregmod_$HASH.html compilation finished." echo "FC_pregmod_$HASH.html compilation finished."
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment