diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-04-12 18:03:49 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-04-12 18:03:49 +0200 |
commit | 171f7b525a5f7ddfb1631501cbc2d09722de4018 (patch) | |
tree | 594ab978abdaf0b3b42b1a5da96d2954e0d06159 /scripts/context/lua/mtx-watch.lua | |
parent | 64f6e8fc0c6cb9254a6fe3db0b4ab31c51cf8524 (diff) | |
download | context-171f7b525a5f7ddfb1631501cbc2d09722de4018.tar.gz |
2019-04-12 17:51:00
Diffstat (limited to 'scripts/context/lua/mtx-watch.lua')
-rw-r--r-- | scripts/context/lua/mtx-watch.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/context/lua/mtx-watch.lua b/scripts/context/lua/mtx-watch.lua index 8629058e5..7815dafdd 100644 --- a/scripts/context/lua/mtx-watch.lua +++ b/scripts/context/lua/mtx-watch.lua @@ -208,11 +208,11 @@ report("checking file %s/%s: %s",dirname,basename,ok and "okay" or "skipped") local oldpath = lfs.currentdir() lfs.chdir(newpath) scripts.watch.save_exa_modes(joblog,ctmname) - if pipe then result = os.resultof(command) else result = os.spawn(command) end + if pipe then result = os.resultof(command) else result = os.execute(command) end lfs.chdir(oldpath) else scripts.watch.save_exa_modes(joblog,ctmname) - if pipe then result = os.resultof(command) else result = os.spawn(command) end + if pipe then result = os.resultof(command) else result = os.execute(command) end end report("return value: %s", result) done = true |