branch: externals/wisi
commit e3b5f4f217be94ed7d1e86bd506f030c09e3c765
Author: Stephen Leake <[email protected]>
Commit: Stephen Leake <[email protected]>

    * build-wisitoken-bnf-generate.sh: Delete; no longer needed
---
 build-wisitoken-bnf-generate.sh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/build-wisitoken-bnf-generate.sh b/build-wisitoken-bnf-generate.sh
deleted file mode 100755
index faa4094781..0000000000
--- a/build-wisitoken-bnf-generate.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-# Build wisitoken-bnf-generate.exe, for generating code from grammar files.
-# 
-# Instead of using this, you should consider using the complete
-# wisitoken development tree; see
-# http://stephe-leake.org/ada/wisitoken.html
-
-gprbuild -p -j8 -P wisi.gpr wisitoken-bnf-generate

Reply via email to