Correcting bad flags.txt path. Fixes #424.
This commit is contained in:
parent
80c75151c9
commit
8046c19898
|
@ -108,7 +108,7 @@ filter("platforms:Windows")
|
||||||
-- Create scratch/ path and dummy flags file if needed.
|
-- Create scratch/ path and dummy flags file if needed.
|
||||||
if not os.isdir("scratch") then
|
if not os.isdir("scratch") then
|
||||||
os.mkdir("scratch")
|
os.mkdir("scratch")
|
||||||
local flags_file = io.open("scratch1/flags.txt", "w")
|
local flags_file = io.open("scratch/flags.txt", "w")
|
||||||
flags_file:write("# Put flags, one on each line.\n")
|
flags_file:write("# Put flags, one on each line.\n")
|
||||||
flags_file:write("# Launch executables with --flags_file=scratch/flags.txt\n")
|
flags_file:write("# Launch executables with --flags_file=scratch/flags.txt\n")
|
||||||
flags_file:write("\n")
|
flags_file:write("\n")
|
||||||
|
|
Loading…
Reference in New Issue