Searched refs:find (Results 1 - 25 of 47) sorted by relevance

12

/seL4-camkes-master/tools/seL4/misc/
H A Dstyle-all.sh16 find "$DIR" -type f | xargs "${0%/*}"/style.sh
/seL4-camkes-master/kernel/tools/
H A Dkernel_xmllint.sh8 xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml')
10 echo "Unable to find sel4arch.xml files"
14 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
16 echo "Unable to find sel4_idl.dtd"
H A Dkernel_pylint.sh8 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py')
10 echo "Unable to find python source files"
13 pylintrc=$(find . -name 'pylintrc')
15 echo "Unable to find pylintrc"
/seL4-camkes-master/tools/cogent/minigent/
H A Drun_example_tests.sh4 EXAMPLES=`find examples | grep 'in.minigent$' | xargs -L 1 dirname | sort`
H A Dupdate_expected_files.sh4 EXAMPLES=`find examples | grep 'in.minigent$' | xargs -L 1 dirname | sort`
/seL4-camkes-master/tools/rumprun/tests/cmake/
H A Dtest.c17 #error Could not find select. Was ist los?
/seL4-camkes-master/tools/rumprun/tests/configure/
H A Dtest.c17 #error Could not find select. Was ist los?
H A DMakefile.in185 find "$(distdir)" -type d ! -perm -200 -exec chmod u+w {} ';' \
193 distuninstallcheck_listfiles = find . -type f -print
196 distcleancheck_listfiles = find . -type f -print
551 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
555 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
565 || find "$(distdir)" -type d ! -perm -755 \
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/
H A DMakefile151 $(Q) find . -name *.thy -exec rm -f {} \;
152 $(Q) find . -name ROOT -exec rm -f {} \;
153 $(Q) find . -name BUILD_INFO -exec rm -f {} \;
154 $(Q) find . -name *_pp* -exec rm -f {} \;
155 $(Q) find . -name $(OUTPUT).* -exec rm -f {} \;
156 $(Q)find . -name *.cmd -exec rm -f {} \;
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/
H A DMakefile166 $(Q) find . -name *.thy -exec rm -f {} \;
167 $(Q) find . -name ROOT -exec rm -f {} \;
168 $(Q) find . -name BUILD_INFO -exec rm -f {} \;
169 $(Q) find . -name *_pp* -exec rm -f {} \;
170 $(Q) find . -name $(OUTPUT).* -exec rm -f {} \;
171 $(Q)find . -name *.cmd -exec rm -f {} \;
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/
H A DMakefile167 $(Q)find . -name *.thy -exec rm -f {} \;
168 $(Q)find . -name ROOT -exec rm -f {} \;
169 $(Q)find . -name BUILD_INFO -exec rm -f {} \;
170 $(Q)find . -name *_pp* -exec rm -f {} \;
171 $(Q)find . -name generated.* -exec rm -f {} \;
172 $(Q)find . -name *.cmd -exec rm -f {} \;
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/
H A Dcpp03_define_map.hpp130 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0);
182 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0);
189 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2);
248 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0);
255 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2);
262 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a4);
328 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0);
335 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2);
342 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a4);
349 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/
H A DMakefile191 $(Q)find . -name *.thy -exec rm -f {} \;
192 $(Q)find . -name ROOT -exec rm -f {} \;
193 $(Q)find . -name BUILD_INFO -exec rm -f {} \;
194 $(Q)find . -name *_pp* -exec rm -f {} \;
195 $(Q)find . -name $(OUTPUT).[ch] -exec rm -f {} \;
196 $(Q)find . -name *.cmd -exec rm -f {} \;
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/
H A DMakefile196 $(Q)find . -name *.thy -exec rm -f {} \;
197 $(Q)find . -name ROOT -exec rm -f {} \;
198 $(Q)find . -name BUILD_INFO -exec rm -f {} \;
199 $(Q)find . -name *_pp* -exec rm -f {} \;
200 $(Q)find . -name $(OUTPUT).[ch] -exec rm -f {} \;
201 $(Q)find . -name *.cmd -exec rm -f {} \;
/seL4-camkes-master/projects/musllibc/src/search/
H A Dtsearch_avl.c64 static struct node *find(struct node *n, const void *k, function
75 return find(n->left, k, cmp);
77 return find(n->right, k, cmp);
170 return find(*rootp, key, compar);
/seL4-camkes-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py133 para_nodes = parent.find('briefdescription').find_all('para')
159 param_name_node = param_item.find("parametername")
160 param_desc_node = param_item.find("parameterdescription")
163 param_desc = self.parse_para(param_desc_node.find('para'), ref_dict)
186 ret = self.parse_para(n.find('para'), ref_dict)
197 ret_type = self.get_text(parent.find("type"), escape)
198 name = self.get_text(parent.find("name"), escape)
216 name = str(member.find('name').string)
513 summary = soup.find('compounddef')
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/
H A Dtestsel4_notification.py90 if stdout.find('errors: 0') < 0:
113 if stdout.find('errors: 0') < 0:
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A DConfig.mk17 # Try to find out the architecture family TARGET_ARCH_FAM.
/seL4-camkes-master/projects/camkes-tool/tools/
H A Djinja_lint.py53 # find the next start of a block
54 bs = content.find(options.block_start, i)
68 # find the end of this block
69 be = content.find(options.block_end, bs_end)
109 # First try to find any low-level errors (mismatched {. .}). We do this
155 # Now try to find any high-level errors (mismatched valid Jinja
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcogent_validate.sh326 find "$TESTS" -maxdepth 1 -name "shouldpass_*.cogent" -printf " %f\n"
328 find "$TESTS" -maxdepth 1 -name "shouldfail_*.cogent" -printf " %f\n"
330 find "$TESTS" -maxdepth 1 -name "wip_*.cogent" -printf " %f\n"
482 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")."
533 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")."
564 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")."
597 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")."
833 then echo "${bldred}Error:${txtrst} could not find goannacc."
852 flist=`find gum -name "*.cogent"`
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A DMakefile.in187 find "$(distdir)" -type d ! -perm -200 -exec chmod u+w {} ';' \
220 distuninstallcheck_listfiles = find . -type f -print
223 distcleancheck_listfiles = find . -type f -print
557 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
561 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
596 || find "$(distdir)" -type d ! -perm -755 \
/seL4-camkes-master/projects/projects_libs/libfdtgen/
H A Dfdtgen.c266 int find = 0; local
281 find = 1;
300 return find;
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dmsgpack_container.cpp507 EXPECT_TRUE(val2.find(it->first) != val2.end());
508 EXPECT_EQ(it->second, val2.find(it->first)->second);
587 EXPECT_TRUE(val2.find(*it) != val2.end());
676 EXPECT_TRUE(val2.find(it->first) != val2.end());
677 EXPECT_EQ(it->second, val2.find(it->first)->second);
757 EXPECT_TRUE(val2.find(*it) != val2.end());
H A Dobject_with_zone.cpp484 EXPECT_TRUE(v2.find(it->first) != v2.end());
485 EXPECT_EQ(it->second, v2.find(it->first)->second);
535 EXPECT_TRUE(v2.find(*it) != v2.end());
583 EXPECT_TRUE(v2.find(it->first) != v2.end());
584 EXPECT_EQ(it->second, v2.find(it->first)->second);
633 EXPECT_TRUE(v2.find(*it) != v2.end());
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A DfdtQueryEngine.py242 lbrace_idx = key_str.find('[')
244 """ If we find an opening brace, assume that there is indexing
248 rbrace_idx = key_str[lbrace_idx + 1:].find(']')

Completed in 267 milliseconds

12