#include #include #include #include #include unsigned int get_index(const char *indices[], unsigned int n_archs, const char *arch_name) { int i; for(i=0; i arch_defs[best_val + 1]) ? i-1 : best_val; } } return best_val; }