Revision 75b35daa0229cfe837698befc0b6ea8fff413535 authored by Felix Ruess on 21 April 2012, 20:36:14 UTC, committed by Felix Ruess on 21 April 2012, 20:36:45 UTC
1 parent ef5b5b0
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 ...