[pok-devel] Report some problems in POK installation

[Omar Zenati <omar.zenati@xxxxxxxxxxx>]

Dear,

I'm intern in Open Wide. For my research, I would use POK to have an idea about RTOS and Arinc653.
Unfortunately, I find some bugs by following the POK User Guide. However, I tried to resolve them.

I remember you that the process to try POK in the user guide is :

------------------------------------------------------------------------------------------------------------------------------
Ocarina is needed by POK. A script is provided to automatically install the latest build:
$ sh ./misc/get_ocarina.sh (1)

You can then try to build and run some of the POK examples located in the ‘example’ directory.

$ cd examples/partitions-threads
$ make (2)
$ make -C generated-code run
------------------------------------------------------------------------------------------------------------------------------

The first error is a "bashism" in the file "get_ocarina.sh" which crash the program. Also, it doesn't need to execute the program with "sh" because it run with it automatically with the line "#! /bin/sh -e".
You will find enclosed my try to correct.

I remain at your disposal for any further information.

Sincerely

Omar ZENATI

--- /home/ozenati/Downloads/pok_pok/trunk/misc/get_ocarina.sh	2011-01-30 23:23:20.000000000 +0100
+++ trunk/misc/get_ocarina.sh	2011-06-08 16:41:26.000000000 +0200
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/sh -e
 ## get_ocarina.sh
 ##
 ## Made by Laurent Lec
@@ -7,9 +7,8 @@
 ## Started on  Mon Jun  8 10:48:11 2009 Laurent Lec
 ## Last update Mon Jun  8 11:38:20 2009 Laurent Lec
 ##
-#! /bin/sh
 
-if [ $# -ne 1 -o "$1" == "-h" -o "$1" == "--help" ];
+if [ $# -ne 1 -o "$1" = "-h" -o "$1" = "--help" ];
 then
     echo "Usage: $0 [-h|--help] prefix" >&2
     exit 1