Revision def68323ad79a7852c80b8901d0ea68dcc429a98 authored by Gautier Hattenberger on 27 February 2019, 19:25:20 UTC, committed by Freek van Tienen on 28 February 2019, 13:26:52 UTC
1 parent 8e4029c
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
Computing file changes ...