diff --git a/scripts/specialize-patch b/scripts/specialize-patch index de08df82b..a93e6e48f 100755 --- a/scripts/specialize-patch +++ b/scripts/specialize-patch @@ -1,4 +1,4 @@ -#!/usr/bin/awk -f +#!/usr/bin/gawk -f ############################################################################ #