# if we don't specify @arch@ for php-devel, we end up with the 2 variants (i386 and x86_64)
# in an undetermined order, and php-config --extension-dir might return the wrong place
# if we don't specify @arch@ for php-devel, we end up with the 2 variants (i386 and x86_64)
# in an undetermined order, and php-config --extension-dir might return the wrong place