Let compile.sh
compile just a single selected file, instead of compiling the whole directory
#1114
+15
−5