Changeset 11707 in osm for applications/editors/josm/debian
- Timestamp:
- 2008-11-05T20:19:04+01:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/debian/make_install_files.sh
r7739 r11707 49 49 cd ../josm-ng 50 50 ant -q clean 51 ant -q josm-ng-impl.jar || exit -1 51 ant -q josm-ng-impl.jar || { 52 echo "!!!!!!!!!!!!!!!!! WARNING Josm-NG is not included into the package" 53 #exit -1 54 } 52 55 cd ../josm 53 56 … … 57 60 58 61 cp ./core/dist/josm-custom.jar $jar_path/josm.jar || exit -1 59 cp ../josm-ng/dist/josm-ng.jar $jar_path/josm-ng.jar || exit -1 62 cp ../josm-ng/dist/josm-ng.jar $jar_path/josm-ng.jar || { 63 echo "!!!!!!!!!!!!!!!!! WARNING Josm-NG is not included into the package" 64 #exit -1 65 } 60 66 61 67 plugin_jars=`find dist -name "*.jar"` … … 77 83 78 84 mkdir -p "$jar_path/speller" 79 cp ../ utils/planet.osm/java/speller/words.cfg "$jar_path/speller/"85 cp ../../utils/planet.osm/java/speller/words.cfg "$jar_path/speller/" 80 86 81 87 # ------------------------------------------------------------------ 82 cp "debian/bin/josm.sh" "$bin_path/josm" 83 cp "debian/bin/josm-ng.sh" "$bin_path/josm-ng" 88 cp "debian/bin/josm.sh" "$bin_path/josm" || exit -1 89 cp "debian/bin/josm-ng.sh" "$bin_path/josm-ng" || { 90 echo "!!!!!!!!!!!!!!!!! WARNING Josm-NG is not included into the package" 91 #exit -1 92 } 84 93 85 94 sed "s/PLUGIN_LIST/$plugins/;" <debian/bin/preferences >"$jar_path/preferences"
Note:
See TracChangeset
for help on using the changeset viewer.