diff --git a/MakeMakefile b/MakeMakefile
index 1b07f193b444adee58cc5931343a08d4e04179a8..74192458416ac8a34b247383886be576087ff10b 100755 (executable)
--- a/MakeMakefile
+++ b/MakeMakefile
-#!/bin/sh
+#!/bin/bash
#
# Run this script after the first cvs checkout to build
# makefiles and friends