16446 dtrace consumers should not be isaexec'd
Change-Id: Ibf80c7283c421cba98e80dce272c6dd51d24bb87

@@ -61,11 +61,12 @@
  * Check for duplicate command line options.
  * Returns TRUE if duplicate options with different values are found,
  * returns FALSE otherwise.
  */
 static int
-check_opt_dup(lt_cmd_option_id_t id, uint64_t value) {
+check_opt_dup(lt_cmd_option_id_t id, uint64_t value)
+{
 
         static int opt_set[(int)LT_CMDOPT__LAST];
         static uint64_t opt_val[(int)LT_CMDOPT__LAST];
 
         const char *errmsg[] = {