From c0b89ac5bfb90835ef01573267020e42d4fe070c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sun, 23 Aug 2015 12:17:05 +0200 Subject: Imported Upstream version 1.8.0 --- profile/splitti3.c | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) mode change 100644 => 100755 profile/splitti3.c (limited to 'profile/splitti3.c') diff --git a/profile/splitti3.c b/profile/splitti3.c old mode 100644 new mode 100755 index a48c6fa..eb92938 --- a/profile/splitti3.c +++ b/profile/splitti3.c @@ -110,28 +110,28 @@ int main(int argc, char *argv[]) { if (argv[fa][1] == '?') { usage(); - } else if (argv[fa][1] == 'v' || argv[fa][1] == 'V') { + } else if (argv[fa][1] == 'v') { verb = 1; - } else if (argv[fa][1] == 'n' || argv[fa][1] == 'N') { - fa = nfa; + } else if (argv[fa][1] == 'n') { if (na == NULL) usage(); + fa = nfa; numb = atoi(na); if (numb < 0) usage(); - } else if (argv[fa][1] == 'p' || argv[fa][1] == 'P') { - fa = nfa; + } else if (argv[fa][1] == 'p') { if (na == NULL) usage(); + fa = nfa; prop = atoi(na); if (prop < 0) usage(); prop = prop / 100.0; - } else if (argv[fa][1] == 'w' || argv[fa][1] == 'W') { + } else if (argv[fa][1] == 'w') { dow = 1; - } else if (argv[fa][1] == 'r' || argv[fa][1] == 'R') { - fa = nfa; + } else if (argv[fa][1] == 'r') { if (na == NULL) usage(); + fa = nfa; seed = atoi(na); doseed = 1; } -- cgit v1.2.3