summarylogtreecommitdiffstats
path: root/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/run.sh b/run.sh
index a4721e3bc488..7a446416fff5 100755
--- a/run.sh
+++ b/run.sh
@@ -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