a minor change in check-headers.sh

This commit is contained in:
Ruipeng Li 2020-06-05 09:06:28 -07:00
parent 4ab72fd3a5
commit 3d1a441674

View File

@ -31,7 +31,7 @@ shift
# Configure and make library
cd $src_dir
configure --enable-debug
./configure --enable-debug
make clean
make -j test