Commit ed883538 authored by Leo's avatar Leo Committed by Natanael Copa
Browse files remove duplicate options_has call

parent 5b163c2d
......@@ -77,7 +77,7 @@ want_check() {
default_cleanup_srcdir() {
if option_has options_has "chmod-clean" && test -d "$srcdir"; then
if options_has "chmod-clean" && test -d "$srcdir"; then
chmod -R +w "$srcdir"
rm -rf "$srcdir"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment