Aggiornato header JNI. Aggiunto file di lancio strumento esterno per …

…aggiornare l'header in Eclipse.
millenomi · Mar 24, 2010 · 1b13f08 · 1b13f08
1 parent 10713f0
commit 1b13f08
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/Update JNI Headers.launch b/Update JNI Headers.launch
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType">
+<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
+<listEntry value="org.eclipse.ui.externaltools.launchGroup"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/NomadikRadio/UpdateJNIHeader.sh}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="${workspace_loc:/NomadikRadio}"/>
+</launchConfiguration>
diff --git a/UpdateJNIHeader.sh b/UpdateJNIHeader.sh
diff --git a/jni/it_polimi_elet_se_nomadikradio_Radio_Native.h b/jni/it_polimi_elet_se_nomadikradio_Radio_Native.h