diff --git a/project b/project index 47b52fd04..1d482ec79 100755 --- a/project +++ b/project @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # project # Copyright 2008, Sean B. Palmer, inamidst.com # Licensed under the Eiffel Forum License 2.