# HG changeset patch # User Sean Farley # Date 1461742030 25200 # Node ID e5e2f1cc693124820a3ea6c60bbfbd4e977803e6 # Parent cab69dc4475094426173718930c5911c38f9c202 ubuntu-trusty-ppa: add makefile rule diff -r cab69dc44750 -r e5e2f1cc6931 Makefile --- a/Makefile Wed Apr 27 00:18:18 2016 -0700 +++ b/Makefile Wed Apr 27 00:27:10 2016 -0700 @@ -187,6 +187,9 @@ docker-ubuntu-trusty: contrib/docker/ubuntu-trusty contrib/dockerdeb ubuntu trusty +docker-ubuntu-trusty-ppa: contrib/docker/ubuntu-trusty + contrib/dockerdeb ubuntu trusty --source-only + docker-ubuntu-wily: contrib/docker/ubuntu-wily contrib/dockerdeb ubuntu wily