Remove pageref caching remnants

cf. 5d9cbd163025a36cbca46907c2ada93bed8e5269

malc committed 6 years ago

Commit b81ea851 parent 8a006401 file · +2 −3Browse files

Unified · Split

build.bash+2−3

@@ -80,9 +80,8 @@ cflags() { · 79 unmodified lines
80	80	case "${1#$outd/}" in
81	81	version.o) f=-DLLPP_VERSION=$ver;;
82	82	link.o)
83		− f="-g -std=c99 $muinc -Wall -Werror -Wextra -pedantic"
84		− test "${mbt-}" = "debug" \|\| f+=" -O2"
85		− f+=" -DCACHE_PAGEREFS "
	83	+ f="-g -std=c99 $muinc -Wall -Werror -Wextra -pedantic "
	84	+ test "${mbt-}" = "debug" \|\| f+="-O2 "
86	85	$darwin && f+="-DCIDER -D_GNU_SOURCE -DGLH='<OpenGL/gl.h>'" \
87	86	\|\| f+="-D_POSIX_C_SOURCE -DGLH='<GL/gl.h>'"
88	87	;;