Updating the DETER meta packages

The dependencies are installed via a special meta package. This is already installed on the stock images, so if you get a conflict let us know.

 cd testbed/install/ports                                                                                                    
 sudo make install                                                                                                           
 cd /usr/ports/misc/instant-deter                                                                                            
 sudo make deinstall                                                                                                         
 sudo make reinstall                                                                                                         

Updating the codebase

In order to update the codebase, running the install script is not necessary.

cd ~/testbed
git pull
cd ~/obj
../testbed/configure --with-TBDEFS=../testbed/defs-<your defs>
gmake
gmake [boss|users]-install