diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2011-04-29 22:59:40 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2011-04-29 22:59:40 +0200 |
commit | 293276174d4a64f7c8fd35017957e021e9c5dcd0 (patch) | |
tree | 4135b752e28245da0fe8fa6c64b3880f32d607ee /jtools | |
parent | ef8adeb4778d7dc4f523c97ed18116376ffaad82 (diff) |
only use this configure option for shark backend
Diffstat (limited to 'jtools')
-rw-r--r-- | jtools/openjdk/do-extract | 0 |
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 |