4 echo "Usage: $0 <plash-source-directory>"
51 out-vtable-cap-call-return.h
52 out-vtable-cap-protocol.h
53 out-vtable-filesysobj.h
56 for file in $files; do
57 ln -sf $PLASH_DIR/src
/$file plash
/
60 for file in $gen_files; do
61 ln -sf $PLASH_DIR/gensrc
/$file plash
/
150 overrides_dir
=plash
/sysdeps
/overrides
151 rm -rf $overrides_dir
152 mkdir
-p $overrides_dir
153 for file1
in $empty_files; do
154 file=$overrides_dir/$file1
155 if ! [ -e $file ]; then