#!/bin/bash
set -e
. scripts.inc
for dir in $DEVEL; do
echo $dir
(cd $dir && make develop BUILDFLAGS="$BUILDFLAGS")
done
qt/runanki "$@"