Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-29 14:27:17 -0700 (Fri, 29 Apr 2005)
Revision: 915
Log message:
$(dirof ...) should be smarter about computing the directory.
For $(dirof x), if "x" already a directory, return it.
This address bug #379.
Changes | Path |
+11 -2 | omake/src/build/omake_builtin_file.ml |
+5 -6 | omake/src/build/omake_builtin_shell.ml |