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

*** 61,71 ****
   * 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) {
  
          static int opt_set[(int)LT_CMDOPT__LAST];
          static uint64_t opt_val[(int)LT_CMDOPT__LAST];
  
          const char *errmsg[] = {
--- 61,72 ----
   * 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)
! {
  
          static int opt_set[(int)LT_CMDOPT__LAST];
          static uint64_t opt_val[(int)LT_CMDOPT__LAST];
  
          const char *errmsg[] = {