More sh-like

Author: wintersteiger

packages/z3/z3.4.15.1/opam

@@ -16,10 +16,11 @@ build: [
   [ "python3" "scripts/mk_make.py" "--ml" ] {os-distribution != "homebrew"}
   [ make "-C" "build" "-j" jobs ] {os-distribution != "homebrew"}
   [ "sh" "-c" """#!/bin/sh
-    export PATH=/usr/local/opt/llvm/bin:$PATH;
-    export LDFLAGS="-L/usr/local/opt/llvm/lib $LDFLAGS";
-    export CPPFLAGS="-I/usr/local/opt/llvm/include $CPPFLAGS";
-    python3 scripts/mk_make.py --ml;
+    PATH=/usr/local/opt/llvm/bin:$PATH
+    LDFLAGS="-L/usr/local/opt/llvm/lib $LDFLAGS"
+    CPPFLAGS="-I/usr/local/opt/llvm/include $CPPFLAGS"
+    export PATH LDFLAGS CPPFLAGS
+    python3 scripts/mk_make.py --ml
     make -C build 
   """] {os-distribution = "homebrew"}
 ]