#!/bin/sh
exec /usr/share/gnulib/gnulib-tool "$@"
