summaryrefslogtreecommitdiff
path: root/jtools
diff options
context:
space:
mode:
authorWaldemar Brodkorb <wbx@openadk.org>2011-04-29 22:59:40 +0200
committerWaldemar Brodkorb <wbx@openadk.org>2011-04-29 22:59:40 +0200
commit293276174d4a64f7c8fd35017957e021e9c5dcd0 (patch)
tree4135b752e28245da0fe8fa6c64b3880f32d607ee /jtools
parentef8adeb4778d7dc4f523c97ed18116376ffaad82 (diff)
only use this configure option for shark backend
Diffstat (limited to 'jtools')
-rw-r--r--jtools/openjdk/do-extract0
1 files changed, 0 insertions, 0 deletions
diff --git a/jtools/openjdk/do-extract b/jtools/openjdk/do-extract
deleted file mode 100644
index e69de29bb..000000000
--- a/jtools/openjdk/do-extract
+++ /dev/null