add some simple tests, which Travis CI uses to test HermitCore

.travis.yml

@@ -16,6 +16,7 @@ script:
         - mv tmp hermit/usr/
         - mv x86 hermit/usr/
         - make T=1 travis
+        - make test
 env:
         global:
                 - TOPDIR=`pwd`/../..

Makefile.in

@@ -16,7 +16,7 @@ linux/arch/x86/boot/bzImage:
 	make -j$(JOBS) -C linux
 
 test:
-	@echo "Nothing to test"
+	. ./test.sh
 
 qemu:
 	$(QEMU) -smp 10 -m 8G -numa node,nodeid=0,cpus=0-4 -numa node,nodeid=1,cpus=5-9 \

test.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+#
+# do not use this script
+# it is written only for internal tests via Travis CI
+
+FILES="hermit/usr/tests/hello hermit/usr/tests/hellof hermit/usr/tests/hello++ hermit/usr/tests/thr_hello hermit/usr/tests/jacobi"
+PROXY=hermit/tools/proxy
+
+for f in $FILES; do echo "check $f..."; $PROXY $f; done