make: Nothing to be done for 'start'. - Githubissues

remindmodel / pre-processing

0 stars 3 forks source link

make: Nothing to be done for 'start'. #14

Closed 0UmfHxcvx5J7JoaOhFSs5mncnisTJJ6q closed 2 months ago

0UmfHxcvx5J7JoaOhFSs5mncnisTJJ6q commented 3 months ago

https://github.com/remindmodel/pre-processing/blob/641fb71df04f64c459a77445e5ef6051aa2329f5/Makefile#L1

pascal-sauer commented 2 months ago

https://github.com/remindmodel/pre-processing/commit/90e8c6cf4ba54077e323cc713986c8bf3344f34c