File tree 1 file changed +1
-1
lines changed
1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change 3
3
UPSTREAM_TAG=$( cat .last_merge)
4
4
5
5
git diff --name-only ${UPSTREAM_TAG} | \
6
- grep -v -E ' (\.(clang-format|editorconfig|last_merge|mergify_pause_paths)|cheri|bin/(auxargs|helloworld|shmem_bench)|contrib/(curl|gdb|jpeg|libpng|netsurf)|^ctsrd|diff-to-upstream.sh|gnu/usr.bin/gdb|lib/(lib(curl|helloworld|jpeg|png|statcounters)|netsurf)|libexec/.*-helper|share/netsurf|usr.bin/(capsize|nsfb|qtrace))' | \
6
+ grep -v -E ' (\.(clang-format|editorconfig|last_merge|mergify_pause_paths)|CMakeLists.txt| cheri|bin/(auxargs|helloworld|shmem_bench)|contrib/(curl|gdb|jpeg|libpng|netsurf)|^ctsrd|diff-to-upstream.sh|gnu/usr.bin/gdb|lib/(lib(curl|helloworld|jpeg|png|statcounters)|netsurf)|libexec/.*-helper|share/netsurf|usr.bin/(capsize|nsfb|qtrace))' | \
7
7
xargs git diff ${UPSTREAM_TAG} --
You can’t perform that action at this time.
0 commit comments