set -x
cd ../../source/build-pdftex/texk/web2c
make pdftex