#!/bin/sh

cd aux-gnurl ; git restore -- makefile ; make "$@"