+2010-04-19 Pierre Muller <muller@ics.u-strasbg.fr>
+
+ * configure.srv (srv_amd64_regobj): Replace `x86-64-avx.o' by
+ `amd64-avx.o'.
+
2010-04-17 Pierre Muller <muller@ics.u-strasbg.fr>
* configure.ac: Use `ws2_32' library for srv_mingw.
srv_i386_regobj="i386.o i386-avx.o i386-mmx.o"
srv_i386_linux_regobj="i386-linux.o i386-avx-linux.o i386-mmx-linux.o"
-srv_amd64_regobj="amd64.o x86-64-avx.o"
+srv_amd64_regobj="amd64.o amd64-avx.o"
srv_amd64_linux_regobj="amd64-linux.o amd64-avx-linux.o"
srv_i386_32bit_xmlfiles="i386/32bit-core.xml i386/32bit-sse.xml i386/32bit-avx.xml"