blob: 417496a67a3ab6bb51276be55cf52e1b13b1549c [file] [log] [blame]
#! /usr/bin/env bash
set -euo pipefail
echo "This script is no longer needed. Go ahead and run autoreconf. For example:"
echo " autoreconf -i && ./configure && make -j6 check && sudo make install"