Merge pull request #1409 from YosysHQ/mmicko/fix_getopt_difference
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 27 Sep 2019 15:37:55 +0000 (17:37 +0200)
committerGitHub <noreply@github.com>
Fri, 27 Sep 2019 15:37:55 +0000 (17:37 +0200)
commit4b15cf5f76e2226bbce1a73d1e0ff54fbf093fe8
treec137f970f949117d04632158d73bfe1f9c146e6f
parent7bde555481e4492bb0d133ea6fcec59af95fbbbe
parent7f0eec8270dbef06e3e6970af20dae2d6f89f6b9
Merge pull request #1409 from YosysHQ/mmicko/fix_getopt_difference

Change order of parameters, to work on other OS