Merge pull request #113 from brodykenrick/master

Fix issue in travis missing Maven build failures and add platform [juno, kepler,...] in output archive names

Author: jantje

it.baeyens.arduino.parent/pom.xml

@@ -333,10 +333,12 @@
 
 		<profile>
 			<id>juno</id>
+            <properties>
+                <platform-version-name>juno</platform-version-name>
+            </properties>
 			<activation>
 				<activeByDefault>true</activeByDefault>
 			</activation>
-
 			<repositories>
 				<repository>
 					<id>platform_juno</id>
@@ -354,6 +356,9 @@
 
 		<profile>
 			<id>kepler</id>
+            <properties>
+                <platform-version-name>kepler</platform-version-name>
+            </properties>
 			<repositories>
 				<repository>
 					<id>platform_kepler</id>
@@ -371,6 +376,9 @@
 
 		<profile>
 			<id>luna</id>
+            <properties>
+                <platform-version-name>luna</platform-version-name>
+            </properties>
 			<repositories>
 				<repository>
 					<id>platform_luna</id>

it.baeyens.arduino.product/pom.xml

@@ -44,6 +44,10 @@
 						<product>
 							<!-- id is verbatim to todo.product "uid" -->
 							<id>it.baeyens.arduino.product</id>
+							<!-- Customise the packaged product's archive name (Instead of "it.baeyens.arduino.product")
+							    Suffix is still <os>.<ws>.<arch>.<archiveExtension> (e.g. linux.gtk.x86_64.tar.gz)
+							 -->
+                            <archiveFileName>EclipseArduinoIDE-${platform-version-name}</archiveFileName>
 							<!-- Causes the archives to contain a folder todo/ that contains the 
 								application -->
 							<!-- Without it, the application is at the archive root -->

travis_exec_and_print_time.sh

@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-echo "Exec and print time periodically (overcoming our very long quiet times)"
+echo "Exec and print time periodically - overcoming long quiet times"
 #Test command
 #CMD="sleep 5"
 #echo "CMD=$CMD"
@@ -15,13 +15,20 @@ PID=$!
 echo "Testing for PID=$PID"
 
 #Sleep for X seconds and then test if the PID is still active
-# inefficient but not too bad for this use case
+# inefficient (only breaks in intervals of timer) but not too bad for this use case
 # also not safe from race conditions in general but fine here
-while sleep 180
-      kill -0 $PID >/dev/null 2>&1
+while  ps | grep " $PID " | grep -v grep > /dev/null 2>&1
 do
-    echo "Still running at $SECONDS seconds"
+    sleep 180
+    echo "PID=$PID still running at $SECONDS seconds"
 done
 
 echo "Ran for $SECONDS seconds"
 
+#Wait will get the process even if it has already exited in this session
+#echo "Waiting on PID=$PID"
+wait $PID
+STATUS=$?
+echo "Exit status of $STATUS"
+exit $STATUS
+