forkless script wrapper

2 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b357ea0d123c..7c7aff5b9be0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = fstar-bin
 	pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
 	pkgver = 2023.09.03
-	pkgrel = 1
+	pkgrel = 2
 	url = https://fstar-lang.org/
 	arch = x86_64
 	license = Apache
diff --git a/PKGBUILD b/PKGBUILD
index 3df4719e4e41..29378b9282c9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 pkgname=fstar-bin
 pkgver=2023.09.03
 _subver=
-pkgrel=1
+pkgrel=2
 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification'
 url='https://fstar-lang.org/'
 license=('Apache')
@@ -23,7 +23,7 @@ package() {
 
   # Instead of symlinking, create a wrapper script
   # ln -s /opt/fstar/bin/fstar.exe $pkgdir/usr/bin/fstar
-  echo '#!/bin/bash' > $pkgdir/usr/bin/fstar
-  echo '/opt/fstar/bin/fstar.exe --smt /opt/fstar/bin/z3 "$@"' >> $pkgdir/usr/bin/fstar
+  echo '#!/bin/sh' > $pkgdir/usr/bin/fstar
+  echo 'exec /opt/fstar/bin/fstar.exe --smt /opt/fstar/bin/z3 "$@"' >> $pkgdir/usr/bin/fstar
   chmod +x $pkgdir/usr/bin/fstar
 }