Update bin/build_pgms.sh

jwakely · web-flow · commit 7f595c3ac6f9 · 2024-11-02T13:34:28.000Z
To be equivalent to the previous version of build_pgms.sh it should rebuild everything.
diff --git a/bin/build_pgms.sh b/bin/build_pgms.sh
@@ -1,2 +1,2 @@
 #!/bin/sh
-make -C $(dirname $0)/.. pgms
+make -C $(dirname $0)/.. clean pgms
