+3
−9
src/Tools/tnl-bindir.in
deleted100644 → 0
+0
−3
src/Tools/tnl-compile.in
deleted100644 → 0
+0
−16
src/Tools/tnl-err2eoc
100644 → 100755
+0
−0
Loading
- The concept of tnl-bindir is completely useless - it was intended for checking if the user configured their $PATH, but the user had to already configure $PATH in order to use the script. - The tnl-compile script was used in the quickstart-generated Makefile, but gave obsolete output. Moreover, the script approach is inflexible and does not provide any benefits compared to hard-coding flags directly in the Makefile.
File mode changed from 100644 to 100755.