diff --git a/build-utils/atoms-extern.sh b/build-utils/atoms-extern.sh index afcdc3c..daf42c7 100755 --- a/build-utils/atoms-extern.sh +++ b/build-utils/atoms-extern.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash echo "/* This file is autogenerated by $0 - do not edit */" echo diff --git a/build-utils/atoms-intern.sh b/build-utils/atoms-intern.sh index 062d92b..2b2811d 100755 --- a/build-utils/atoms-intern.sh +++ b/build-utils/atoms-intern.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash echo "/* This file is autogenerated by $0 - do not edit */" echo