Add devtools role
Change-Id: Ib9bd3b1eaae019320d36f8fa9d4265877fd171ed
diff --git a/default.xml b/default.xml
index 7036374..6d7541b 100644
--- a/default.xml
+++ b/default.xml
@@ -22,6 +22,7 @@
<project path="ansible/roles/apt_source" name="ansible/role/apt_source"/>
<project path="ansible/roles/bird" name="ansible/role/bird"/>
<project path="ansible/roles/chrony" name="ansible/role/chrony"/>
+ <project path="ansible/roles/devtools" name="ansible/role/devtools"/>
<project path="ansible/roles/dhcpd" name="ansible/role/dhcpd"/>
<project path="ansible/roles/dkms" name="ansible/role/dkms"/>
<project path="ansible/roles/docker" name="ansible/role/docker"/>