diff --git a/build.sh b/build.sh index 6f0d199..72249ad 100755 --- a/build.sh +++ b/build.sh @@ -1,7 +1,7 @@ -# Alternative script for the build system Makefiles - #!/usr/bin/env bash +# Alternative script for the build system Makefiles + ########################################################################### # # # Build the system, with a specified processor type and filesystem config #