| commit | 3b8aaea4dfcfa8bbfc587a034036bc1b297089d1 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Wed Jun 11 15:31:10 2008 +0000 |
| committer | david_williams <david_williams> | Wed Jun 11 15:31:10 2008 +0000 |
| tree | c924053c7013b19f3f40bd1c81ec273013e154d3 | |
| parent | e30ee46e626613f66b69d1c06a7c05dc9a14019f [diff] [blame] |
streamline process
diff --git a/org.eclipse.wtp.releng.webupdatesite/build-home/ant.sh b/org.eclipse.wtp.releng.webupdatesite/build-home/ant.sh new file mode 100644 index 0000000..1162f9d --- /dev/null +++ b/org.eclipse.wtp.releng.webupdatesite/build-home/ant.sh
@@ -0,0 +1,6 @@ +#!/bin/sh + +ANT_CMD=${ANT_HOME}/bin/ant + +exec "$ANT_CMD" "$@" +