reverse bad commit 223b1a3f94

The commit 223b1a3f94 was a mistake, so we reverse both commit 5f7cf0b60d and commit 223b1a3f94 for now.
2023-02-26 17:21:30 -08:00
1 parent 5f7cf0b60d
commit ab9b77b1c9
@@ -13,7 +13,7 @@
 # shell used by this Makefile
 #############################
 #
-SHELL= bash
+SHELL= /bin/bash

 # Set X11_LIBDIR to the directory where the X11 library resides
 #