diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/Makefile.am | 1 | ||||
-rw-r--r-- | scripts/wsdl2.in | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Makefile.am b/scripts/Makefile.am index 2ba02ac6438..b301ff5df55 100644 --- a/scripts/Makefile.am +++ b/scripts/Makefile.am @@ -43,6 +43,7 @@ secutil: secutil.in sqlsharp: sqlsharp.in xsd: xsd.in wsdl: wsdl.in +wsdl2: wsdl2.in al: al.in genxs: genxs.in disco: disco.in diff --git a/scripts/wsdl2.in b/scripts/wsdl2.in new file mode 100644 index 00000000000..b3e3bcdb9cb --- /dev/null +++ b/scripts/wsdl2.in @@ -0,0 +1,2 @@ +#!/bin/sh +exec @bindir@/@mono_interp@ @plat_bindir@/wsdl2.exe "$@" |