File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -9,6 +9,8 @@ shopt -s globstar
99echo " DON'T PUSH ANY OF THESE CHANGES TO THE REPO!!!!!!!!"
1010echo " if you push these changes, I'll slap your butt"
1111
12+ make compile_commented_snippets || exit 1
13+
1214# remove some files not suitable for PDF:
1315rm ../library/data_structures/bit_uncommon/rupq.hpp || exit 1
1416rm ../library/data_structures/bit_uncommon/rurq.hpp || exit 1
@@ -56,8 +58,6 @@ cat ../library/**/*.hpp |
5658echo " check no multiline comments. Generating hashes of file-prefixes requires this."
5759grep --extended-regexp " \/\*" --recursive ../library/** /* .hpp && exit 1
5860
59- make compile_commented_snippets || exit 1
60-
6161# remove #pragma once
6262sed --in-place ' /^#pragma once$/d' ../library/** /* .hpp
6363# remove NOLINTNEXTLINE comments
You can’t perform that action at this time.
0 commit comments