diff options
author | Tom Tromey <tromey@redhat.com> | 2005-03-07 20:16:25 +0000 |
---|---|---|
committer | Tom Tromey <tromey@gcc.gnu.org> | 2005-03-07 20:16:25 +0000 |
commit | 7f8b151be7017b7fd6e422875210ba5f406e4abe (patch) | |
tree | 2ec4abec89652053f890da26b60bf7b63d1158b9 /libjava/gnu | |
parent | 088a1762744ea428d83cd5d91bed0e89103683ba (diff) | |
download | gcc-7f8b151be7017b7fd6e422875210ba5f406e4abe.zip gcc-7f8b151be7017b7fd6e422875210ba5f406e4abe.tar.gz gcc-7f8b151be7017b7fd6e422875210ba5f406e4abe.tar.bz2 |
gcj.texi (Invoking gcj-dbtool): Document '-f'.
gcc/java:
* gcj.texi (Invoking gcj-dbtool): Document '-f'.
libjava:
* gnu/gcj/tools/gcj_dbtool/Main.java (main): Recognize '-f'.
(usage): Document '-f'.
From-SVN: r96041
Diffstat (limited to 'libjava/gnu')
-rw-r--r-- | libjava/gnu/gcj/tools/gcj_dbtool/Main.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libjava/gnu/gcj/tools/gcj_dbtool/Main.java b/libjava/gnu/gcj/tools/gcj_dbtool/Main.java index ea8f35c..c918ad8 100644 --- a/libjava/gnu/gcj/tools/gcj_dbtool/Main.java +++ b/libjava/gnu/gcj/tools/gcj_dbtool/Main.java @@ -75,7 +75,7 @@ public class Main return; } - if (s[0].equals("-a")) + if (s[0].equals("-a") || s[0].equals("-f")) { // Add a jar file to a database, creating it if necessary. // Copies the database, adds the jar file to the copy, and @@ -94,7 +94,7 @@ public class Main map = PersistentByteMap.emptyPersistentByteMap(database, 100, 100*32); File soFile = new File(s[3]); - if (! soFile.isFile()) + if (! s[0].equals("-f") && ! soFile.isFile()) throw new IllegalArgumentException(s[3] + " is not a file"); map = addJar(jar, map, soFile); } @@ -279,6 +279,8 @@ public class Main + " gcj-dbtool -n file.gcjdb [size] - Create a new gcj map database\n" + " gcj-dbtool -a file.gcjdb file.jar file.so\n" + " - Add the contents of file.jar to a new gcj map database\n" + + " gcj-dbtool -f file.gcjdb file.jar file.so\n" + + " - Add the contents of file.jar to a new gcj map database\n" + " gcj-dbtool -t file.gcjdb - Test a gcj map database\n" + " gcj-dbtool -l file.gcjdb - List a gcj map database\n" + " gcj-dbtool -m dest.gcjdb [source.gcjdb]...\n" |