File build/make-local artifact 3bcde6e579 part of check-in 74cea1e174

#! /bin/sh

make distclean

./configure

# Replace version with the version
. build/makearch.info
sed "s/@@VERS@@/${VERS}/g" Makefile > Makefile.new && cat Makefile.new > Makefile
rm -f Makefile.new

make
strip -x tclpkcs11.so