Add a touch command replacement for Windows makefile

parent f9ff90b3
......@@ -164,9 +164,9 @@ SYN_GRADE := ${syn_grade}
\t\t$(SYN_PRE_{2}_CMD)
\t\t$(TCL_INTERPRETER) $@.tcl
\t\t$(SYN_POST_{2}_CMD)
\t\ttouch $@
\t\t{4} $@
""".format(stage, stage_previous, stage.upper(),
"\n".join(tcl_command)))
"\n".join(tcl_command), path_mod.touch_command()))
stage_previous = stage
def makefile_syn_command(self):
......
......@@ -199,6 +199,14 @@ def mkdir_command():
return "mkdir -p"
def touch_command():
"""Get a string with the O.S. specific mkdir command"""
if check_windows():
return "type nul >>"
else:
return "touch"
def which(filename):
"""Implement the which function and return the paths as a string list"""
locations = os.environ.get("PATH").split(os.pathsep)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment