+function trim_suffix(value) {
+ if (USE_LIB_SUFFIX != "" && length(value) > length(USE_LIB_SUFFIX)) {
+ check = substr(value, 1 + length(value) - length(USE_LIB_SUFFIX));
+ if (check == USE_LIB_SUFFIX) {
+ value = substr(value, 1, length(value) - length(USE_LIB_SUFFIX));
+ }
+ }
+ return value;
+}