for dir in core policy gui
do
  make -C $dir
done
