Skip to content

Conversation

minad
Copy link
Member

@minad minad commented Jun 6, 2019

don't shell out to generate_def.sh, do it in perl instead.

@minad minad requested a review from sjaeckel June 6, 2019 16:18
@minad minad changed the title replace generate_def.sh with perl function remove generate_def.sh, move code to helper Jun 6, 2019
@minad minad changed the title remove generate_def.sh, move code to helper remove generate_def.sh, move code to helper.pl Jun 6, 2019
@minad minad requested a review from nijtmans June 6, 2019 19:10
@sjaeckel sjaeckel force-pushed the perl-generate-def branch from 1a9377b to 8a1ae86 Compare June 7, 2019 06:27
@sjaeckel sjaeckel merged commit f109772 into develop Jun 7, 2019
@sjaeckel sjaeckel deleted the perl-generate-def branch June 7, 2019 06:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants