Fix makezip for feinsum (#155)

illinois-ceesd · Nov 16, 2022 · e4faf48 · e4faf48
1 parent 50eefd7
commit e4faf48
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/makezip.sh b/makezip.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/bash
 
 set -o errexit -o nounset
 
@@ -21,6 +21,10 @@ for name in */; do
     MY_MODULES+="${name/\//} "
 
     cd "$install_loc/$name"
+
+    # Feinsum has a different directory scheme
+    [[ $name == "feinsum/" ]] && cd src
+
     echo "=== Zipping $name"
     zip -r "$zipfile" "$name"
     cd "$origin"