Revision d8593bf02d2f5a5966e1235da8c9a7bef7601cdc authored by Christophe De Wagter on 08 June 2012, 18:52:27 UTC, committed by Christophe De Wagter on 08 June 2012, 18:52:27 UTC
1 parent b831852
pprz_src_test.sh
#! /bin/sh
if test -z "$PAPARAZZI_SRC"; then
PAPARAZZI_SRC=/usr/share/paparazzi
PAPARAZZI_BIN=$PAPARAZZI_SRC/bin
else
PAPARAZZI_BIN=$PAPARAZZI_SRC/sw/tools
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...