diff --git a/gnulib/configure b/gnulib/configure old mode 100644 new mode 100755