File build/make-local artifact 3bcde6e579 part of check-in fcc22c8809
#! /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