Guest User

Untitled

a guest
Jun 4th, 2018
237
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.36 KB | None | 0 0
  1. --- Configure 2018-06-04 16:58:27.000000000 +0200
  2. +++ Configure.new 2018-06-04 17:09:17.744789676 +0200
  3. @@ -1209,7 +1209,7 @@
  4. open(PIPE, "$cc -dM -E -x c /dev/null 2>&1 |");
  5. while (<PIPE>) {
  6. m/^#define\s+(\w+(?:\(\w+\))?)(?:\s+(.+))?/ or last;
  7. - $predefined{$1} = $2 // "";
  8. + $predefined{$1} = defined($2) ? $2 : "";
  9. }
  10. close(PIPE);
Advertisement
Add Comment
Please, Sign In to add comment