1 files changed, 20 insertions, 0 deletions
diff --git a/tools/patchxml2solv.c b/tools/patchxml2solv.c
new file mode 100644
index 0000000..5fb549c
--- /dev/null
+++ b/tools/patchxml2solv.c
@@ -0,0 +1,20 @@
+#include <sys/types.h>
+#include <limits.h>
+#include <fcntl.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+#include "pool.h"
+#include "source_patchxml.h"
+#include "source_write.h"
+
+int
+main(int argc, char **argv)
+{
+  Pool *pool = pool_create();
+  Source *source = pool_addsource_patchxml(pool, stdin);
+  pool_writesource(pool, source, stdout);
+  pool_free(pool);
+  exit(0);
+}