Revision bb8ef479f74d413fe056b6a728ff3b4fb77d207b authored by Felix Ruess on 19 September 2012, 16:07:02 UTC, committed by Felix Ruess on 13 October 2012, 15:17:52 UTC
1 parent 34b565f
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 ...