From da4ca8a5313c6dc1f6015102b42dfbbeeb546dc7 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Fri, 11 Dec 2015 10:16:10 +0100 Subject: bug 17752, add builtin_nop for PowerPC --- powerpc/CBuiltins.ml | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 powerpc/CBuiltins.ml (limited to 'powerpc/CBuiltins.ml') diff --git a/powerpc/CBuiltins.ml b/powerpc/CBuiltins.ml old mode 100755 new mode 100644 -- cgit