diff options
Diffstat (limited to 'make/emd2exml.in')
| -rwxr-xr-x[-rw-r--r--] | make/emd2exml.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/emd2exml.in b/make/emd2exml.in index 903d707716..13bd6700d9 100644..100755 --- a/make/emd2exml.in +++ b/make/emd2exml.in @@ -1,6 +1,6 @@ -#!/usr/bin/env escript +#!@ENV@ escript %% -*- erlang -*- -%%! -smp disable +%%! %% %% %CopyrightBegin% |