diff --git a/MAKEALL b/MAKEALL index 25b99774d..1ba4710de 100755 --- a/MAKEALL +++ b/MAKEALL @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Print statistics when we exit trap exit 1 2 3 15