0001
0002
0003 set -e
0004
0005
0006
0007 SCRIPT_REL_PATH=$(realpath $0)
0008 SCRIPT_REL_DIR=$(dirname $SCRIPT_REL_PATH)
0009 KDIR_ROOT_DIR=$(realpath $SCRIPT_REL_DIR/../../../../)
0010 SCRIPT_REL_DIR=$(dirname $(realpath --relative-to=$KDIR_ROOT_DIR $SCRIPT_REL_PATH))
0011 cd $KDIR_ROOT_DIR
0012
0013 if [ ! -e $PWD/$SCRIPT_REL_DIR/Makefile ]; then
0014 echo -e "skip: bpftool files not found!\n"
0015 exit 4
0016 fi
0017
0018 for tgt in docs docs-clean; do
0019 make -s -C $PWD/$SCRIPT_REL_DIR $tgt;
0020 done