"make dist" before "make" doesn't work

rrthomas / mit

A simple stack-based VM

Other

10 stars 3 forks source link

Closed apt1002 closed 4 years ago

rrthomas commented 4 years ago

I can't reproduce this from a fresh checkout:

git clone rrthomas/mit # or equivalent with plain git
./bootstrap && ./configure
make dist

works fine for me.

rrthomas commented 4 years ago

I also tried in a VPATH build, i.e. using

./bootstrap
mkdir build; cd build
../configure
make dist

apt1002 commented 4 years ago

Can't reproduce any more.