diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-12 12:11:38 +0100 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-03-12 12:11:38 +0100 |
commit | e5ba0c343e026cfe78100c785918f48046da8475 (patch) | |
tree | 707a7e95c49d9ab9078c9cb5f32c31bc31186dac | |
parent | 25fad1e1b3a7968dbf51ba81968d57bc5050e153 (diff) | |
download | share-e5ba0c343e026cfe78100c785918f48046da8475.zip share-e5ba0c343e026cfe78100c785918f48046da8475.tar.gz |
java : project : build.xml ctags does not fail
-rw-r--r-- | java/project/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/project/build.xml b/java/project/build.xml index f94c337..078c84a 100644 --- a/java/project/build.xml +++ b/java/project/build.xml @@ -53,7 +53,7 @@ </target> <target name="ctags"> - <exec executable="ctags" failonerror="true"> + <exec executable="ctags" failonerror="false"> <arg value="-R"/> <arg value="--language-force=java"/> <arg value="-f.tags"/> |