diff --git a/configure b/configure new file mode 100755 index 0000000..e850d2f --- /dev/null +++ b/configure @@ -0,0 +1,2 @@ +#!/bin/bash +echo "This does nothing. Just run make."