Revision a3a7a47e3f67562ba277444ba8eb420c6fc12080 authored by Felix Ruess on 08 May 2012, 19:36:07 UTC, committed by Felix Ruess on 08 May 2012, 19:36:07 UTC
1 parent 09490b3
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 ...