diff options
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -65,7 +65,10 @@ startd() local pid="" { - ( exec swipl --quiet -f "$pkg_dir"/run.pl ) & + ( + cd "$pkg_dir" + exec swipl --quiet -f "$pkg_dir"/run.pl + ) & pid="$!" } 1>/dev/null 2>/dev/null |