diff options
Diffstat (limited to 'c_stubs/configure')
-rwxr-xr-x | c_stubs/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/c_stubs/configure b/c_stubs/configure new file mode 100755 index 0000000000..53d0dcd67e --- /dev/null +++ b/c_stubs/configure @@ -0,0 +1,3 @@ +# This is only to keep the GNU C library configure mechanism happy. +# This is a shell script fragment sourced by the main configure script. +# We have nothing we need to add here. |