#!/bin/bash
echo "pushd machine" ; pushd machine > /dev/null
  ./machine.sh
echo "retour dans src" ; popd > /dev/null
gcc -g  -W -Wall -o test test_tGFSR32x4.c && ./test