equal
deleted
inserted
replaced
46 ( echo '#!/bin/sh' && \ |
46 ( echo '#!/bin/sh' && \ |
47 echo "exec java -jar /usr/local/bin/sikulixide-*.jar \"\$@\"" \ |
47 echo "exec java -jar /usr/local/bin/sikulixide-*.jar \"\$@\"" \ |
48 ) | install /dev/stdin /usr/local/bin/sikulix |
48 ) | install /dev/stdin /usr/local/bin/sikulix |
49 |
49 |
50 |
50 |
51 RUN echo -e '#!/bin/bash\nmake -f /home/testing/src/beremiz/tests/Makefile' > /usr/local/bin/do_tests |
51 RUN echo -e '#!/bin/bash\nmake -f /home/testing/src/beremiz/tests/Makefile $*' > /usr/local/bin/do_tests |
52 RUN chmod +x /usr/local/bin/do_tests |
52 RUN chmod +x /usr/local/bin/do_tests |
53 |
53 |
54 USER $UNAME |
54 USER $UNAME |
55 |
55 |
56 RUN mkdir /home/$UNAME/build /home/$UNAME/src /home/$UNAME/test |
56 RUN mkdir /home/$UNAME/build /home/$UNAME/src /home/$UNAME/test |