libMicro -- Small scrip fixes

[andipla]

Hi,

I had 2 small problems building and running libMicro on Debian Jessie, so I fixed them.

I did however not test it on any other distro / OS than Debian Jessie.

regards, Andi

[portante]

Thanks @andipla.

It would be great if we could conditionalize this changes for just Debian for now so that we don't break the other platforms. Do you think you'd be able to do that?

[andipla]

That's pthread_create:

/usr/bin/ld: libmicro.a(libmicro.o): undefined reference to symbol 'pthread_create@@GLIBC_2.2.5' //lib/x86_64-linux-gnu/libpthread.so.0: error adding symbols: DSO missing from command line collect2: error: ld returned 1 exit status ../Makefile.com:107: recipe for target 'tattle' failed

The orignal version works in Debian wheezy, but not in jessie and stretch, those need the -lpthread

thx!

[andipla]

I added a condition for the ARCH variable in the bench scripts.

The only system other than Debian wheezy/jessie/stretch I have around to test this is an Ubuntu 14.04 which has the same problems, so I added Ubuntu to the conditional as well.

btw. Ubuntu also had the same problem without -lpthread in the Makefile.com, except it did not only complain about pthread_create but also about pthread_join.

[portante]

@andipla, I am behind on merging this, bare with me.