Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-12-10 14:40:15 -0800 (Wed, 10 Dec 2003)
Revision: 311
Log message:
Fixing the problem with $(which ...) on Windows. If the filename
does not contain a '.', it will search for the file with
any of the extensions .exe, .com, .bat.
Changes | Path |
+44 -19 | libmojave/stdlib/lm_filename_util.ml |
+1 -1 | libmojave/stdlib/lm_filename_util.mli |