From 293276174d4a64f7c8fd35017957e021e9c5dcd0 Mon Sep 17 00:00:00 2001
From: Waldemar Brodkorb <wbx@openadk.org>
Date: Fri, 29 Apr 2011 22:59:40 +0200
Subject: only use this configure option for shark backend

---
 jtools/openjdk/do-extract | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 jtools/openjdk/do-extract

(limited to 'jtools')

diff --git a/jtools/openjdk/do-extract b/jtools/openjdk/do-extract
deleted file mode 100644
index e69de29bb..000000000
-- 
cgit v1.2.3