/seL4-test-master/projects/seL4_libs/libsel4sync/spin/notification-semaphore/ |
H A D | Makefile | 33 rm -f pan-safety 34 rm -f pan-liveness 35 rm -f safety 36 rm -f liveness 37 rm -f *.trail 38 rm -f pan.*
|
/seL4-test-master/projects/seL4_libs/libsel4sync/spin/sem/ |
H A D | Makefile | 33 rm -f pan-safety 34 rm -f pan-liveness 35 rm -f safety 36 rm -f liveness 37 rm -f *.trail 38 rm -f pan.*
|
/seL4-test-master/projects/seL4_libs/libsel4sync/spin/binary-sem/ |
H A D | Makefile | 30 rm -f pan 31 rm -f ${PROMELA}.trail 32 rm -f pan.* 33 rm -f _spin_nvr.tmp
|
/seL4-test-master/projects/seL4_libs/libsel4sync/spin/condition-vars/ |
H A D | Makefile | 40 rm -f pan-safety 41 rm -f pan-liveness 42 rm -f pan-ltl 43 rm -f safety 44 rm -f liveness 45 rm -f *.trail 46 rm -f pan.*
|
/seL4-test-master/tools/seL4/misc/ |
H A D | Makefile.cpio_strip | 13 rm cpio-strip
|
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | changed.sh | 43 rm -f $TMP_FILE
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | changed.sh | 43 rm -f $TMP_FILE
|
/seL4-test-master/kernel/tools/ |
H A D | changed.sh | 43 rm -f $TMP_FILE
|
/seL4-test-master/tools/nanopb/examples/network_server/ |
H A D | Makefile | 13 rm -f server client fileproto.pb.c fileproto.pb.h
|
/seL4-test-master/tools/nanopb/examples/using_union_messages/ |
H A D | Makefile | 16 rm -f encode unionproto.pb.h unionproto.pb.c
|
/seL4-test-master/tools/nanopb/examples/using_double_on_avr/ |
H A D | Makefile | 13 rm -f test_conversions encode_double decode_double doubleproto.pb.c doubleproto.pb.h
|
/seL4-test-master/tools/nanopb/tests/ |
H A D | Makefile | 8 rm -rf build coverage
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fp_emulation.c | 133 int rm = GET_RM(insn); local 134 if (rm >= 3) 137 #define DO_FSGNJ(rs1, rs2, rm) ({ \ 140 rs1_sign &= (rm) >> 1; \ 141 rs1_sign ^= (rm) ^ rs2_sign; \ 147 SET_F32_RD(insn, regs, DO_FSGNJ(rs1, rs2, rm)); 151 SET_F64_RD(insn, regs, DO_FSGNJ(rs1, rs2, rm)); 159 int rm = GET_RM(insn); local 160 if (rm >= 2) 166 uint32_t arg1 = rm 316 int rm = GET_RM(insn); local [all...] |
/seL4-test-master/projects/musllibc/tools/ |
H A D | install.sh | 46 trap 'rm -f "$tmp"' EXIT INT QUIT TERM HUP 59 rm -f "$2/$tmp"
|
/seL4-test-master/tools/nanopb/tools/ |
H A D | make_linux_package.sh | 14 rm -rf $DEST 28 rm -rf $DEST/generator/dist $DEST/generator/build $DEST/generator/nanopb_generator.spec
|
H A D | make_mac_package.sh | 14 rm -rf $DEST 28 rm -rf $DEST/generator/dist $DEST/generator/build $DEST/generator/nanopb_generator.spec
|
H A D | make_windows_package.sh | 13 rm -rf $DEST 30 rm $DEST/generator/protoc-gen-nanopb.py
|
/seL4-test-master/kernel/tools/dts/ |
H A D | update-dts.sh | 75 rm $2/$platform.dts.tmp
|
/seL4-test-master/kernel/manual/ |
H A D | Makefile | 232 rm -f *.aux *.toc *.bbl *.blg *.dvi *.log *.pstex* *.eps *.cb *.brf \ 234 rm -rf ${DoxygenOutput} ${GeneratedLatexDir} ${GeneratedMarkdownDir} 235 rm -rf ${Stage} 293 ${Q}rm all_refs.aux tmp.aux references.diff 296 ${Q}if ! test -e $*.bbl || test $(Bib) -nt $*.bbl; then rm -f $*.bbl; fi 298 ${Q}$(LaTeX) $< >.log || if egrep -q $(Error) $*.log ; then cat .log; rm $@; false ; fi
|
/seL4-test-master/tools/riscv-pk/ |
H A D | configure | 516 rm -f conf$$ conf$$.exe conf$$.file 518 rm -f conf$$.dir/conf$$.file 520 rm -f conf$$.dir 540 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file 1440 rm -f conftest.$ac_objext 1478 rm -f conftest.$ac_objext 1583 rm -rf conftest.dSYM conftest_ipa8_conftest.oo 1781 rm -f core *.core core.conftest.* && 1782 rm -f -r conftest* confdefs* conf$$* $ac_clean_files && 1791 rm [all...] |
/seL4-test-master/tools/riscv-pk/scripts/ |
H A D | install-sh | 68 rmprog=${RMPROG-rm} 450 trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0 480 rm -f "$dsttmp" 490 # We try this two ways since rm can't unlink itself on some
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | make-uimage | 63 rm -f $TEMPFILE
|
/seL4-test-master/projects/musllibc/ |
H A D | Makefile.muslc | 171 rm -f $@ 176 rm -f $@ 237 rm -rf obj lib 240 rm -f config.mak
|
/seL4-test-master/ |
H A D | griddle | 325 # We give `rm` the `-f` option in the trap handler in the event we end up 328 # rm "$TEMP" 346 trap 'rm -f "$TEMP"; trap - HUP INT QUIT TERM; kill -s INT $$' \ 360 rm "$TEMP" 674 rm $CMAKECACHE_BACKUP
|
/seL4-test-master/tools/seL4/cmake-tool/ |
H A D | griddle | 325 # We give `rm` the `-f` option in the trap handler in the event we end up 328 # rm "$TEMP" 346 trap 'rm -f "$TEMP"; trap - HUP INT QUIT TERM; kill -s INT $$' \ 360 rm "$TEMP" 674 rm $CMAKECACHE_BACKUP
|