1 files changed, 1 insertions, 1 deletions
diff --git a/project b/project
index d994b09..264895a 100755
--- a/project
+++ b/project
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 #
 # High-level script to manage the project.
 # Run `./project --help' for a description of how to use it.